1. Tableau systems for first order number theory and certain higher order theories
پدیدآورنده : Toledo, Sue Ann
موضوع : ، Proof theory,، Number theory,، Predicate calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Tableau systems for first order number theory and certain higher order theories
المؤلف: Toledo, Sue Ann
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
1
.
L4
v
.
447
3. Tableau systems for first order number theory and certain higher order theories
المؤلف: Toledo, Sue Ann, 0491-
المکتبة: (طهران)
موضوع: ، Proof theory,، Number theory,، Predicate calculus
رده :
QA
3
.
L28
Vol
.
447
